Programmable Timed Petri Nets in the Analysis and Design of Hybrid Control Systems
نویسنده
چکیده
In this paper, a class of timed Petri nets, named programmable timed Petri nets is used to model and study switched hybrid systems. Supervisory control of a hybrid system in which the continuous state is transfered to a region of the state space in a way that respects safety specifications on the plant’s discrete and continuous dynamics is examined. The approach is illustrated using a power system example.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملHybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties
In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervisory control of hybrid systems. In particular , the transfer of the continuous state to a region of the state space under safety speciications on the discrete and continuous dynamics is addressed. The switching policy is embedded in the dynamics of the underlying Petri net structure and the supervi...
متن کاملHybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties
In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervisory control of hybrid systems. In particular, the transfer of the continuous state to a region of the state space under safety speci cations on the discrete and continuous dynamics is addressed. The switching policy is embedded in the dynamics of the underlying Petri net structure and the supervis...
متن کاملHybrid Time Delay Petri Nets as a Mathematical Novel Tool to Model Dynamic System with Current Sample Time
The existing modeling methods using Petri Nets, have been successfully applied to model and analyze dynamic systems. However, these methods are not capable of modeling all dynamic systems such as systems with the current sample time signals, systems including various subsystems and multi-mode systems. This paper proposes Hybrid Time Delay Petri Nets (HTDPN) to solve the problem. In ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998